Density cubes and higher-order interference theories
نویسندگان
چکیده
منابع مشابه
Higher-order theories
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as requested by [GU03]: in our setting, merging two extensions of syntax corresponds to building an amalgamated sum. Finally we define a natural notion of equation con...
متن کاملHigher-Order Abstract Non-interference
This work proposes a type system for checking Abstract Non-Interference in the setting of simply-typed lambda calculus with basic types and recursion. A lambda-expression satisfies Abstract NonInterference relatively to a given semantic property if an attacker which can only see program data up to that property cannot infer, by observing a computation, private data from public ones. Attackers a...
متن کاملBending and Free Vibration Analysis of Functionally Graded Plates via Optimized Non-polynomial Higher Order Theories
Optimization concept in the context of shear deformation theories was born for the development of accurate models to study the bending problem of structures. The present study seeks to extend such an approach to the dynamic analysis of plates. A compact and unified formulation with non-polynomial shear strain shape functions (SSSFs) is employed to develop a static and free vibration analysis of...
متن کاملComposable Packages for Higher Order Logic Theories
Interactive theorem proving is tackling ever larger formalization and verification projects, and there is a critical need for theory engineering techniques to support these efforts. One such technique is effective package management, which has the potential to simplify the development of logical theories by precisely checking dependencies and promoting re-use. This paper introduces a domainspec...
متن کاملHigher-Order Theories of Consciousness: An Overview
Explaining the nature of consciousness is one of the more important and perplexing areas in philosophy. What is consciousness? How is the conscious mind related to the body? Can consciousness be explained in terms of brain activity? How can we explain the sensation of the smelling of a rose or a conscious visual experience? Given that philosophy is interdisciplinary by its very nature, the prob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Journal of Physics
سال: 2014
ISSN: 1367-2630
DOI: 10.1088/1367-2630/16/2/023028